Error: Fig.2.stagesoftheunwinding(vertexlabelsinitalicsthatthe Nal(error)vertexisunreachable.aninterpolantcanbederivedfromarefutationofthepathgeneratedbyatheoremprover[11 - PowerPoint Presentations and PDF Documents